throw new Break();
} else {
if (DEBUG) {
System.out.print(" is equal.");
}
}
}
bestStart = b.get(0).source();
if (DEBUG) {
System.out.println("Best basis so far: " + bestBasis);
System.out.println("Best traversal so far:");
for (EdgeCmd e: bestScript)
System.out.println(" " + e);
System.out.println();